Automatic Verification of Static Policies on Software Process Models
Identifieur interne : 008835 ( Main/Exploration ); précédent : 008834; suivant : 008836Automatic Verification of Static Policies on Software Process Models
Auteurs : Rodrigo Quites Reis [Brésil] ; Carla Alessandra Lima Reis [Brésil] ; Heribert Schlebbe [Allemagne] ; Daltro José Nunes [Brésil]Source :
- Annals of Software Engineering [ 1022-7091 ] ; 2002-12-01.
Abstract
Abstract: Software Process Technology evolved to support software processes management by assisting the modeling, enacting and evolution of complex process models. This paper presents a contribution to this field, describing a mechanism to formally model Static Policies, which are useful to automate the verification of user-defined process syntactical properties. The proposed mechanism acts during software process modeling, promoting the reuse of policy instances across different processes in a software organization. In this text, the language for Static Policy definition is presented first through its informal description, followed by examples. This paper also discusses some of the main issues related to the formal (algebraic) semantics defined for the Policy interpreter, which based the implementation of a Java-based prototype.
Url:
DOI: 10.1023/A:1020509809235
Affiliations:
- Allemagne, Brésil
- Bade-Wurtemberg, District de Stuttgart, Pará, Rio Grande do Sul
- Porto Alegre, Stuttgart
- Université fédérale du Rio Grande do Sul
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003119
- to stream Istex, to step Curation: 003079
- to stream Istex, to step Checkpoint: 001C71
- to stream Main, to step Merge: 008C91
- to stream Main, to step Curation: 008835
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Automatic Verification of Static Policies on Software Process Models</title><author><name sortKey="Reis, Rodrigo Quites" sort="Reis, Rodrigo Quites" uniqKey="Reis R" first="Rodrigo Quites" last="Reis">Rodrigo Quites Reis</name></author><author><name sortKey="Reis, Carla Alessandra Lima" sort="Reis, Carla Alessandra Lima" uniqKey="Reis C" first="Carla Alessandra Lima" last="Reis">Carla Alessandra Lima Reis</name></author><author><name sortKey="Schlebbe, Heribert" sort="Schlebbe, Heribert" uniqKey="Schlebbe H" first="Heribert" last="Schlebbe">Heribert Schlebbe</name></author><author><name sortKey="Jose Nunes, Daltro" sort="Jose Nunes, Daltro" uniqKey="Jose Nunes D" first="Daltro" last="José Nunes">Daltro José Nunes</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:CF2D949E0DF7FE58F5D57DD900BD8144EF5459CE</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1023/A:1020509809235</idno><idno type="url">https://api.istex.fr/ark:/67375/VQC-S9CST1RM-R/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003119</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003119</idno><idno type="wicri:Area/Istex/Curation">003079</idno><idno type="wicri:Area/Istex/Checkpoint">001C71</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001C71</idno><idno type="wicri:doubleKey">1022-7091:2002:Reis R:automatic:verification:of</idno><idno type="wicri:Area/Main/Merge">008C91</idno><idno type="wicri:Area/Main/Curation">008835</idno><idno type="wicri:Area/Main/Exploration">008835</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Automatic Verification of Static Policies on Software Process Models</title><author><name sortKey="Reis, Rodrigo Quites" sort="Reis, Rodrigo Quites" uniqKey="Reis R" first="Rodrigo Quites" last="Reis">Rodrigo Quites Reis</name><affiliation wicri:level="2"><country xml:lang="fr">Brésil</country><wicri:regionArea>Department of Informatics, Federal University of Pará (UFPA), Campus Universitário do Guamá, 66075-110, Belém, PA</wicri:regionArea><placeName><region type="state">Pará</region></placeName></affiliation><affiliation></affiliation></author><author><name sortKey="Reis, Carla Alessandra Lima" sort="Reis, Carla Alessandra Lima" uniqKey="Reis C" first="Carla Alessandra Lima" last="Reis">Carla Alessandra Lima Reis</name><affiliation wicri:level="2"><country xml:lang="fr">Brésil</country><wicri:regionArea>Department of Informatics, Federal University of Pará (UFPA), Campus Universitário do Guamá, 66075-110, Belém, PA</wicri:regionArea><placeName><region type="state">Pará</region></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Brésil</country></affiliation></author><author><name sortKey="Schlebbe, Heribert" sort="Schlebbe, Heribert" uniqKey="Schlebbe H" first="Heribert" last="Schlebbe">Heribert Schlebbe</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Faculty of Computer Science, University of Stuttgart, Breitwiesenstr. 20-22, 70565, Stuttgart</wicri:regionArea><placeName><region type="land" nuts="1">Bade-Wurtemberg</region><region type="district" nuts="2">District de Stuttgart</region><settlement type="city">Stuttgart</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Jose Nunes, Daltro" sort="Jose Nunes, Daltro" uniqKey="Jose Nunes D" first="Daltro" last="José Nunes">Daltro José Nunes</name><affiliation wicri:level="4"><country xml:lang="fr">Brésil</country><wicri:regionArea>Institute of Informatics, Federal University of Rio Grande do Sul (UFRGS), Campus do Vale, Bloco IV, 91501-970, Porto Alegre, RS</wicri:regionArea><placeName><region type="state">Rio Grande do Sul</region><settlement type="city">Porto Alegre</settlement></placeName><orgName type="university">Université fédérale du Rio Grande do Sul</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Brésil</country></affiliation></author></analytic><monogr></monogr><series><title level="j">Annals of Software Engineering</title><title level="j" type="abbrev">Annals of Software Engineering</title><idno type="ISSN">1022-7091</idno><idno type="eISSN">1573-7489</idno><imprint><publisher>Kluwer Academic Publishers</publisher><pubPlace>Dordrecht</pubPlace><date type="published" when="2002-12-01">2002-12-01</date><biblScope unit="volume">14</biblScope><biblScope unit="issue">1-4</biblScope><biblScope unit="page" from="197">197</biblScope><biblScope unit="page" to="234">234</biblScope></imprint><idno type="ISSN">1022-7091</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">1022-7091</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Software Process Technology evolved to support software processes management by assisting the modeling, enacting and evolution of complex process models. This paper presents a contribution to this field, describing a mechanism to formally model Static Policies, which are useful to automate the verification of user-defined process syntactical properties. The proposed mechanism acts during software process modeling, promoting the reuse of policy instances across different processes in a software organization. In this text, the language for Static Policy definition is presented first through its informal description, followed by examples. This paper also discusses some of the main issues related to the formal (algebraic) semantics defined for the Policy interpreter, which based the implementation of a Java-based prototype.</div></front></TEI><affiliations><list><country><li>Allemagne</li><li>Brésil</li></country><region><li>Bade-Wurtemberg</li><li>District de Stuttgart</li><li>Pará</li><li>Rio Grande do Sul</li></region><settlement><li>Porto Alegre</li><li>Stuttgart</li></settlement><orgName><li>Université fédérale du Rio Grande do Sul</li></orgName></list><tree><country name="Brésil"><region name="Pará"><name sortKey="Reis, Rodrigo Quites" sort="Reis, Rodrigo Quites" uniqKey="Reis R" first="Rodrigo Quites" last="Reis">Rodrigo Quites Reis</name></region><name sortKey="Jose Nunes, Daltro" sort="Jose Nunes, Daltro" uniqKey="Jose Nunes D" first="Daltro" last="José Nunes">Daltro José Nunes</name><name sortKey="Jose Nunes, Daltro" sort="Jose Nunes, Daltro" uniqKey="Jose Nunes D" first="Daltro" last="José Nunes">Daltro José Nunes</name><name sortKey="Reis, Carla Alessandra Lima" sort="Reis, Carla Alessandra Lima" uniqKey="Reis C" first="Carla Alessandra Lima" last="Reis">Carla Alessandra Lima Reis</name><name sortKey="Reis, Carla Alessandra Lima" sort="Reis, Carla Alessandra Lima" uniqKey="Reis C" first="Carla Alessandra Lima" last="Reis">Carla Alessandra Lima Reis</name></country><country name="Allemagne"><region name="Bade-Wurtemberg"><name sortKey="Schlebbe, Heribert" sort="Schlebbe, Heribert" uniqKey="Schlebbe H" first="Heribert" last="Schlebbe">Heribert Schlebbe</name></region><name sortKey="Schlebbe, Heribert" sort="Schlebbe, Heribert" uniqKey="Schlebbe H" first="Heribert" last="Schlebbe">Heribert Schlebbe</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 008835 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 008835 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:CF2D949E0DF7FE58F5D57DD900BD8144EF5459CE
|texte= Automatic Verification of Static Policies on Software Process Models
}}
| This area was generated with Dilib version V0.6.33. |  |